(0 13 1)(2 20 18)(3 9 7)(4 14 6)(5 17 11)(8 15 10)(12 19 16)
ALLOWS (11/8)-SEQUENCE
1: (5 11 17)
(0 13 1)(2 20 18)(3 9 7)(4 14 6)(5 11 17)(8 15 10)(12 19 16)
2: (4 14 6)
(0 13 1)(2 20 18)(3 9 7)(4)(5 11 17)(6)(8 15 10)(12 19 16)(14)
3: (5 11 17)
(0 13 1)(2 20 18)(3 9 7)(4)(5)(6)(8 15 10)(11)(12 19 16)(14)(17)
4: (12 19 16)
(0 13 1)(2 20 18)(3 9 7)(4)(5)(6)(8 15 10)(11)(12)(14)(16)(17)(19)